Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
771	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-29 05:50:59 Electronic engineering Formal methods Predicate logic Hardware description languages Construction and Analysis of Distributed Processes Formal verification State transition system Model checking Petri net Models of computation Theoretical computer science Concurrency
772	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
773	A* Parsing: Fast Exact Viterbi Parse Selection Dan Klein Computer Science Department Stanford University Stanford, CA Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2003-04-01 00:33:16 Programming language implementation Science Statistical natural language processing Parsing Bioinformatics Stochastic context-free grammar Chart parser Top-down parsing LL parser Formal languages Linguistics Compiler construction
774	Multi-Pass Multi-Strategy NLP Amnon Meyers Text Analysis International, IncHollenbeck Ave. #501 Sunnyvale, CAUSA Add to Reading List Source URL: www.textanalysis.com Language: English - Date: 2005-02-08 22:49:30 Formal languages Computing Natural language processing Speech recognition Parse tree Parsing Information extraction Pattern matching Attribute grammar Compiler construction Linguistics Software engineering
775	Perl versiondocumentation - s2p NAME psed - a stream editor SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:05:30 Scripting languages Formal languages Regular expressions Control characters Sed Tr TRE Newline String Computing Software Pattern matching
776	LSA 354 Programming Assignment: A Treebank Parser Due Tue, 24 July 2007, 5pm Thanks to Dan Klein for the original assignment. Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2007-07-16 23:45:01 Programming language implementation Compiler construction Parsing Treebank Stochastic context-free grammar Bottom-up parsing LL parser LALR parser Linguistics Science Formal languages
777	Lower Bounds for Context-Free Grammars Yuval Filmusa,1,∗ a University of Toronto Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2015-04-19 22:24:10 Applied mathematics Context-free grammar Regular language Constructible universe Formal grammar Controlled grammar Theorems and definitions in linear algebra Formal languages Mathematics Theoretical computer science
778	A Expressive Languages for Path Queries over Graph-Structured Data ´ , University of Chile PABLO BARCELO LEONID LIBKIN, University of Edinburgh ANTHONY W. LIN, Univerity of Oxford Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-12-12 09:23:41 Metalogic Model theory Structure Universal algebra FO String Orbifold Conjunctive query Mathematics Formal languages Theoretical computer science
779	Implementing Semantic Feedback in a Diagram Editor NIKLAS FORS AND GÖREL HEDIN, GMLD 2013, MONTPELLIER Semantic Feedback Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-08-06 08:16:24 Programming language implementation Computing Programming paradigms Parsing Attribute grammar Parser generators Abstract syntax tree SYNTAX Extensible programming Formal languages Compiler construction Software engineering
780	Coarse-to-fine n-best parsing and MaxEnt discriminative reranking Eugene Charniak and Mark Johnson Brown Laboratory for Linguistic Information Processing (BLLIP) Brown University Providence, RI 02912 {mj\|ec}@cs.brown.edu Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-15 02:43:49 Science Statistical natural language processing Programming language implementation Computational linguistics Statistical parsing Parsing LL parser Top-down parsing Stochastic context-free grammar Formal languages Linguistics Compiler construction

UPDATE